DMVIS: Design, Modelling and Validation of Interactive Systems

Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we argue that a change of emphasis may be necessary as the field matures. We argue that real projects with specific objectives for formal methods are more likely to employ a range of diverse, lightweight modelling techniques. We explore this view by showing how, on one example, several quite different kinds of analysis can be performed using different models.